Embedding TypeScript
andrews.substack.com·7h·
Discuss: Substack, r/programming
🤖AI
Flag this post
Pain Points of OCaml
quamserena.com·2d·
Discuss: Lobsters, Hacker News
🤖AI
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1h·
Discuss: Hacker News
🤖AI
Flag this post
TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg
github.blog·1h·
Discuss: Hacker News
🤖AI
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🤖AI
Flag this post
Fil-C
graydon2.dreamwidth.org·19h·
Discuss: Lobsters, Hacker News
🗄️Databases
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·2h·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·23h·
Discuss: Hacker News
🤖AI
Flag this post
Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·2h·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·2d·
Discuss: Hacker News, Hacker News
🤖AI
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·2d·
Discuss: Hacker News
🤖AI
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·2d·
Discuss: Hacker News, r/programming
🗄️Databases
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·1d·
Discuss: Hacker News, r/programming
🤖AI
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·4d·
Discuss: Hacker News
🤖AI
Flag this post
We Started with Jax but Moved to PyTorch
mlechner.substack.com·1h·
Discuss: Substack
🤖AI
Flag this post
A Deep Dive into the Morris Worm
rapid7.com·12h·
Discuss: Hacker News
🗄️Databases
Flag this post
Bikeshedding `Handle` and other follow-up thoughts
smallcultfollowing.com·1d·
Discuss: Lobsters, Hacker News
🤖AI
Flag this post